Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
821	~ LnKTAZI£U 9~ ~Ed~ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:26 Non-classical logic Philosophical logic Model theory Predicate logic Formal languages First-order logic Modal logic Interpretation Fuzzy logic Logic Mathematical logic Mathematics
822	Lecture 1: An Introduction to Boolean Algebra The operation of almost all modern digital computers is based on two-valued or binary systems. Binary systems were known in the ancient Chinese civilisation and by the classical Greek philosophers who created a well Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-05 12:21:59 Propositional calculus Boolean algebra Logical connectives Algebraic logic Semantics Negation Truth table Proposition Truth Logic Mathematical logic Mathematics
823	Linear Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999 Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2008-10-17 09:32:38 Non-classical logic Formal languages Logic in computer science Categorial grammar Noncommutative logic Proof theory Linear logic Johan van Benthem Bunched logic Logic Mathematical logic Substructural logic
824	Attribute Exploration of Gene Regulatory Processes Dissertation Add to Reading List Source URL: www.db-thueringen.de Language: English Mathematics Logic in computer science Data mining Formal concept analysis Lattice theory Ontology Modal logic Computation tree logic Description logic Logic Science Non-classical logic
825	KIT REPORT 91 A Correspondence Theory for Terminological Logics: Preliminary Report Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2011-11-08 07:11:58 Non-classical logic Finite model theory Modal logic Philosophical logic Logic in computer science Dynamic logic FO Interpretation SO Logic Mathematical logic Mathematics
826	CHAPTER 9 From Search Engines to Question Answering Add to Reading List Source URL: www-bisc.cs.berkeley.edu Language: English - Date: 2006-07-14 18:13:44 Information retrieval Artificial intelligence Non-classical logic Logic in computer science Relevance Logic Fuzzy logic Lotfi A. Zadeh Mathematical logic Science Knowledge Information science
827	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:40:33 Propositional calculus Mathematical logic Philosophical logic Boolean algebra Classical logic Principia Mathematica Axiom of reducibility Function Contradiction Logic Mathematics Philosophy
828	PDF Document Add to Reading List Source URL: www.agiri.org Language: English - Date: 2007-12-21 07:43:41 Quantification Predicate logic Statistical inference Artificial intelligence Non-classical logic Probabilistic logic network Probabilistic logic First-order logic Universal quantification Logic Science Mathematical logic
829	Analysing Aviation Accidents Using WB-Analysis: An Application of Multimodal Reasoning Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 05:33:32 Non-classical logic Philosophical logic Reasoning Conditionals Causality Modal operator Why–because analysis Non-monotonic logic Reason Logic Mathematical logic Modal logic
830	PDF Document Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2013-09-18 00:23:31 Philosophical logic Non-classical logic Model theory Semantics Saul Kripke Entailment Accessibility relation Possible world Interpretation Logic Mathematical logic Modal logic

UPDATE